Maude E. Abbott
نویسندگان
چکیده
منابع مشابه
Larry Abbott
Larry Abbott Columbia University Larry Abbott is the William Bloor Professor of Theoretical Neuroscience at Columbia University. He received his PhD in physics from Brandeis University in 1977 and worked in theoretical particle physics at the Stanford Linear Accelerator Center, at CERN (the European center for particle physics), and as a physics faculty member at Brandeis. Abbott began a transi...
متن کامل14.10 Insight 796 Abbott
ever-changing manner. The effect of a signal transmitted synaptically from one neuron to another can vary enormously, depending on the recent history of activity at either or both sides of the synapse, and such variations can last from milliseconds to months. Activity-dependent changes in synaptic transmission arise from a large number of mechanisms known collectively as synaptic plasticity. Sy...
متن کاملNew evaluation commands for Maude within Full Maude 1
Maude is able to deal with infinite data structures and avoid infinite computations by using strategy annotations. However, they can eventually make the computation of the normal form(s) of some input expressions impossible. We have used Full Maude to implement two new commands norm and eval which furnish Maude with the ability to compute (constructor) normal forms of initial expressions even w...
متن کاملTowards (constructor) normal forms for Maude within Full Maude
Maude is able to deal with infinite data structures and avoid infinite computations by using strategy annotations, that is, positive indices that indicate which positions can be evaluated. However, they can eventually make the computation of the normal form(s) of some input expressions impossible. In [6,7], we used Full Maude to implement two new commands norm and eval which furnish Maude with ...
متن کاملIntegrating Maude into Hets
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lacks the formal tools to perform some of these analyses and thus they can only be done by hand. The Heterogeneous Tool Set Hets is an institution-based combination of different logics and corresponding rewriting, model ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Zeitschrift für Herz-,Thorax- und Gefäßchirurgie
سال: 2019
ISSN: 0930-9225,1435-1277
DOI: 10.1007/s00398-019-0297-3